Lightweight Checking for UML Based Software Development
نویسندگان
چکیده
This paper describes the application of xlinkit, a generic tool for managing the consistency of distributed documents, to consistency checking in the context of UML modelling and software development. In particular, we report how we have developed an application of xlinkit to the UML Core package Well-Formedness Rules [9]. We first give an overview of how xlinkit works. We then expand on the specific application of xlinkit to the UML, and discuss our report generator ‘Pulitzer’. Simple examples are used for illustration.
منابع مشابه
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming with the utility of modelling, while offering a counterpoint to Extreme Modelling. The method is built atop of a subset of UML, making use of contracts for documentation and for run-time (and potentially static) checking. Rules...
متن کاملChecking Distributed Software Engineering Content
We describe the foundations of xlinkit, a technology for checking the consistency and linking the elements of distributed, heterogenous XML documents, and its application to software engineering. We do so by providing a formal semantics for a rule language which relates document elements and by showing how we used the language to express the constraints of the UML Core package. We outline how w...
متن کاملA Uml-based Static Verification Framework for Security Journal Article a Uml-based Static Verification Framework for Security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates that security characteristics should be considered from the early stages of the software development life cycle and should not be added as another layer in the system on an ad-hoc basis after the system is built. In ...
متن کاملModel Checking of UML Class Diagrams including OCL using Relational Logic
The popular process models for object-oriented software development do not comprise model checking techniques. Model checking tools which take UML class diagrams including OCL as input could facilitate the incorporation of model checking techniques into everyday software engineering workflows. This paper describes a two-step model checking approach for UML class diagrams including OCL: the clas...
متن کاملTransformation of UML Behavioral Diagrams to Support Software Model Checking
Unified Modeling Language (UML) is currently accepted as the standard for modeling (objectoriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the ...
متن کامل